英诺达发布全新静态验证产品，提升芯片设计效率
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：综合)
如何选择合适的光电传感器 光电传感器在自动化中的应用
GMCC荣膺“合肥市知识产权示范企业”殊荣—万维家电网
国内空调产业首次遭遇年度销售负增长—万维家电网
志高智能王88款：给您一个高品质的家—万维家电网
三坐标测量机常见故障及解决方法推荐文章
-
在“双碳”战略背景下，发展绿色经济已成各地发展共识。唐山，这座“因煤而建、因钢而兴”的百年工业重镇，正在持续推动公路货运行业绿色转型，全力推进能源低碳发展。11月，《唐山市支持新能源体系建设若干政策2
...[详细]
-
排 名 品 牌 点评与分析 第一 名 海 尔 季节性降价，高中端机型受欢迎 第二 名 科 龙 价格优势明显，促销活动丰富 第三 名 松 下 中高端机型价格直降，赠品力度大 第四 名 志 高 产品性价比
...[详细]
-
在行业集中度日益提高、集团面临扭亏压力的背景下，一直徘徊在行业二三线地位的TCL空调今后何去何从呢？尽管TCL集团今年启动了回归核心业务的战略，此前出售了电工、智能楼宇等业务，昨天，刚刚兼任TCL空调
...[详细]
-
2006年9月1日，美的空调在北京高调推出空调新品“清润星”，这个被美的誉为“3C化空调”的标志性产品，最独特之处在于将“无水加湿”和“换气加氧”两个系统融合在一起。业内专家认为，在各企业对空调标准的
...[详细]
-
近日，以“显示无处不在·映照万千气象”为主题的第六届世界显示产业创新发展大会在成都举行，此次大会是新型显示产业领域的一场盛会，汇聚了全球显示产业的前沿力量，共同探讨新产品、新技术的发展方向。作为世界显
...[详细]
-
多数空调企业上半年业绩虽实现增长，但产品毛利率出现下滑除了今年6月中下旬的空调销售“火”了不到两个星期外，伴随着2006冷冻年度2005年8月1日-2006年7月31日）的结束，此轮空调涨价并没有给业
...[详细]
-
原定于今日2006年9月20日）上午举行的“飞歌空调项目”专场拍卖会，未能如期进行。该拍卖项目下一步将何去何从，目前尚不得知。 8月30日，安徽盛佳拍卖公司就“飞歌空调项目”拍卖发布第二次拍卖公告
...[详细]
-
国家信息中心信息资源开发部与中国家电网日前共同对外发布《2006年度国内重点城市空调零售市场白皮书》。《白皮书》显示，2006年度全国重点城市空调器零售市场销售态势出现历史性拐点。从1991年国家信息
...[详细]
-
英诺迅近日正式推出了其最新研发的DC~6GHz 15W功率放大器——YP601241T。这款新品在性能和设计上均实现了显著突破，为用户提供了更加高效、可靠的解决方案。YP601241T的工作频率范围覆
...[详细]
-
海关总署日前公布了2005年度进出口企业“红、黑名单”。同时，针对上两期已公布的“红名单”企业，海关总署再次进行了审核，珠海格力电器股份有限公司等进出口企业因为模范遵守国家海关法律法规、进出口行为规范
...[详细]
热点阅读
